Distributed S-Net High-Level Message Passing without the Hassle
نویسندگان
چکیده
S-NET is a declarative coordination language and component technology primarily aimed at modern multi-core/many-core chip architectures. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components, which themselves are implemented using a conventional language suitable for the application domain. We sketch out the design and implementation of Distributed S-NET, a conservative extension of S-NET aimed at distributed memory architectures ranging from many-core chip architectures with hierarchical memory organisations to more traditional clusters of workstations and supercomputers. Three case studies illustrate how to use Distributed S-NET to implement different models of parallel execution, i.e. pipelined signal processing, client-server and domain decomposition. Runtimes obtained on a workstation cluster demonstrate how Distributed S-NET allows programmers with little or no background in parallel programming to make effective use of distributed memory architectures with minimal programming effort.
منابع مشابه
Proving Correctness of Distributed Algorithms a Petri Net Approach
In this paper we argue that high-level Petri nets are well suited for the representation of distributed algorithms as well as for correctness proofs. A variant of Raymond's message-passing mutual exclusion algorithm serves as an example. Its proof uses techniques that beneet from the syntactical representation of the algorithms in form of a Petri net.
متن کاملH-COSTAM: a hierarchical communicating state-machine model for generic prototyping
This paper presents a methodology that aims at the specification, verification and prototyping of large distributed systems. This methodology relies on H-COSTAM : a high level representation that supports hierarchy and focuses on message passing communication mechanisms. In order to enable validation based on a formal representation, a translation procedure to Petri net is proposed. We also sho...
متن کاملOn Mapping Distributed S-NET to the 48-core Intel SCC Processor
Distributed S-NET is a declarative coordination language and component technology primarily aimed at modern multi-core/many-core chip architectures. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components. These components themselves are implemented using a conventional language suitable for the application domain. Our go...
متن کاملDistributed S-Net
S-NET is a declarative coordination language and component technology primarily aimed at modern multicore/many-core chip architectures. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components, which themselves are implemented using a conventional language suitable for the application domain. We sketch out the design and i...
متن کاملParadis-Net A Network Interface for Parallel and Distributed Applications
This paper describes Paradis-Net, a typed event-driven message-passing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to-peer and client-server architectures through a mechanism called “Cooperation”. We introduce the programming interface and compare its mechanisms to active messages and remote procedure calls. Finally we demonstrate how the in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010